Parosh Aziz Abdulla

Department of Information Technology · Uppsala University DBLP

Portrait of Parosh Aziz Abdulla

Professor of Computer Science

Parosh Aziz
Abdulla

My research concerns automata, logic, model checking, program verification and testing.

More

Recent publications

Complete list

  1. POPL 2026 · Quantum systems

    Parameterized Verification of Quantum Circuits

    Paper

  2. POPL 2026 · Weak memory

    Parameterized Verification of Intel-x86 Programs

    Paper

  3. PLDI 2025 · Concurrent data structures

    Efficient Linearizability Monitoring

    Paper

  4. POPL 2025 · Quantum systems

    Verifying Quantum Circuits with Level-Synchronized Tree Automata

    PaperVideo

  5. PLDI 2024 · Weak memory

    Verification under Intel-x86 with Persistency

    Paper

Research

Foundations
Automata, logic, model checking, program testing and verification.
Systems
Weak memory models, distributed systems and concurrent data structures.
Quantum verification
Symbolic and automata-based methods for verifying quantum circuits.

Teaching

Contact

Email
parosh@it.uu.se
Phone
+46 18 471 31 63
Post
Dept. of Information Technology
Uppsala University, Box 337
751 05 Uppsala, Sweden